Proportional lumpability and proportional bisimilarity
نویسندگان
چکیده
Abstract In this paper, we deal with the lumpability approach to cope state space explosion problem inherent computation of stationary performance indices large stochastic models. The method is based on a aggregation technique and applies Markov chains exhibiting some structural regularity. Moreover, it allows one efficiently compute exact values when model actually lumpable. notion quasi-lumpability idea that chain can be altered by relatively small perturbations transition rates in such way new resulting case, only upper lower bounds derived. Here, introduce novel quasi-lumpability, named proportional , which extends original definition but, differently from general derive for process. We then bisimilarity terms process algebra PEPA. Proportional induces underlying continuous-time chains. Finally, prove compositionality results show applicability our theory through examples.
منابع مشابه
A Chaos-Based Communication Scheme Using Proportional and Proportional-Integral Observers
In this paper, we propose a new chaos-based communication scheme using the observers. The novelty lies in the masking procedure that is employed to hide the confidential information using the chaotic oscillator. We use a combination of the addition and inclusion methods to mask the information. The performance of two observers, the proportional observer (P-observer) and the proportional integra...
متن کاملAnti-windup Schemes for Proportional Integral and Proportional Resonant Controller
Problems like windup or rollover arise in a PI controller working under saturation. Hence antiwindup schemes are necessary to minimize performance degradation. Similar situation may occur in a Proportional Resonant (PR) controller in the presence of a sustained error input. Several methods can be employed based on existing knowledge on PI controller to counter this problem. In this paper few su...
متن کاملProportional Control
'Nothing like the human hand' [1] is the title of Boivin's 1968 article reviewing current research and development in prosthetic hands at that time. This title holds true even today although technological advances have allowed amputees access to componentry offering greater function, cosmesis and efficiency of control. Childress also reminds us that hand replacement by means of prosthetic inter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2021
ISSN: ['1432-0525', '0001-5903']
DOI: https://doi.org/10.1007/s00236-021-00404-y